Addresses all necessary organization and architecture topics, but concise enough to be appropriate for a single-term course. ...
Continue readingThis book starts by reintroducing the database as a integral part of the software development ecosystem. You'll learn how ...
Continue readingExtreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found ...
Continue readingIn its first editions, this conference was a get-together of a few pioneers who - bated about how to make agile processes ...
Continue readingThe workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
Continue readingThis book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
Continue readingThis book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, ...
Continue readingThis book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
Continue readingThis book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
Continue readingBy presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...
Continue readingETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue readingETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue readingJava design patterns are reusable and proven solutions to software design problems. This book covers over 60 battle-tested ...
Continue readingThis book constitutes the refereed proceedings of UNISCON 2008 held in Klagenfurt, Austria, during April 22-25, 2008.UNISCON ...
Continue readingProvides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming ...
Continue readingCombines clear explanations of data structure and algorithm theory with practical code samples, examples and exercises, all ...
Continue readingThis volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...
Continue readingThis open access book presents the outcomes of the “Design for Future – Managed Software Evolution” .The different ...
Continue readingThis book describes in contributions by scientists and practitioners the development of scientific concepts, technologies, ...
Continue readingThis book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
Continue reading